Optimal. Leaf size=97 \[ \frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}+\frac {4 b n \sqrt {e f-d g} \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )}{\sqrt {e} g}-\frac {4 b n \sqrt {f+g x}}{g} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.06, antiderivative size = 97, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {2395, 50, 63, 208} \[ \frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}+\frac {4 b n \sqrt {e f-d g} \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )}{\sqrt {e} g}-\frac {4 b n \sqrt {f+g x}}{g} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 50
Rule 63
Rule 208
Rule 2395
Rubi steps
\begin {align*} \int \frac {a+b \log \left (c (d+e x)^n\right )}{\sqrt {f+g x}} \, dx &=\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}-\frac {(2 b e n) \int \frac {\sqrt {f+g x}}{d+e x} \, dx}{g}\\ &=-\frac {4 b n \sqrt {f+g x}}{g}+\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}-\frac {(2 b (e f-d g) n) \int \frac {1}{(d+e x) \sqrt {f+g x}} \, dx}{g}\\ &=-\frac {4 b n \sqrt {f+g x}}{g}+\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}-\frac {(4 b (e f-d g) n) \operatorname {Subst}\left (\int \frac {1}{d-\frac {e f}{g}+\frac {e x^2}{g}} \, dx,x,\sqrt {f+g x}\right )}{g^2}\\ &=-\frac {4 b n \sqrt {f+g x}}{g}+\frac {4 b \sqrt {e f-d g} n \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )}{\sqrt {e} g}+\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.08, size = 83, normalized size = 0.86 \[ \frac {2 \left (\sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )-2 b n\right )+\frac {2 b n \sqrt {e f-d g} \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )}{\sqrt {e}}\right )}{g} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.54, size = 185, normalized size = 1.91 \[ \left [\frac {2 \, {\left (b n \sqrt {\frac {e f - d g}{e}} \log \left (\frac {e g x + 2 \, e f - d g + 2 \, \sqrt {g x + f} e \sqrt {\frac {e f - d g}{e}}}{e x + d}\right ) + {\left (b n \log \left (e x + d\right ) - 2 \, b n + b \log \relax (c) + a\right )} \sqrt {g x + f}\right )}}{g}, \frac {2 \, {\left (2 \, b n \sqrt {-\frac {e f - d g}{e}} \arctan \left (-\frac {\sqrt {g x + f} e \sqrt {-\frac {e f - d g}{e}}}{e f - d g}\right ) + {\left (b n \log \left (e x + d\right ) - 2 \, b n + b \log \relax (c) + a\right )} \sqrt {g x + f}\right )}}{g}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.19, size = 110, normalized size = 1.13 \[ \frac {2 \, {\left ({\left (2 \, {\left (\frac {{\left (d g - f e\right )} \arctan \left (\frac {\sqrt {g x + f} e}{\sqrt {d g e - f e^{2}}}\right ) e^{\left (-1\right )}}{\sqrt {d g e - f e^{2}}} - \sqrt {g x + f} e^{\left (-1\right )}\right )} e + \sqrt {g x + f} \log \left (x e + d\right )\right )} b n + \sqrt {g x + f} b \log \relax (c) + \sqrt {g x + f} a\right )}}{g} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.08, size = 148, normalized size = 1.53 \[ \frac {4 b d n \arctan \left (\frac {\sqrt {g x +f}\, e}{\sqrt {\left (d g -e f \right ) e}}\right )}{\sqrt {\left (d g -e f \right ) e}}-\frac {4 b e f n \arctan \left (\frac {\sqrt {g x +f}\, e}{\sqrt {\left (d g -e f \right ) e}}\right )}{\sqrt {\left (d g -e f \right ) e}\, g}-\frac {4 \sqrt {g x +f}\, b n}{g}+\frac {2 \sqrt {g x +f}\, b \ln \left (c \left (\frac {d g -e f +\left (g x +f \right ) e}{g}\right )^{n}\right )}{g}+\frac {2 \sqrt {g x +f}\, a}{g} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {a+b\,\ln \left (c\,{\left (d+e\,x\right )}^n\right )}{\sqrt {f+g\,x}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 38.95, size = 326, normalized size = 3.36 \[ \begin {cases} \frac {- \frac {2 a f}{\sqrt {f + g x}} - 2 a \left (- \frac {f}{\sqrt {f + g x}} - \sqrt {f + g x}\right ) - 2 b f \left (\frac {2 e n \operatorname {atan}{\left (\frac {1}{\sqrt {\frac {e}{d g - e f}} \sqrt {f + g x}} \right )}}{\sqrt {\frac {e}{d g - e f}} \left (d g - e f\right )} + \frac {\log {\left (c \left (d + e x\right )^{n} \right )}}{\sqrt {f + g x}}\right ) - 2 b \left (- \frac {2 e n \left (- \frac {g \sqrt {f + g x}}{e} - \frac {g \operatorname {atan}{\left (\frac {1}{\sqrt {\frac {e}{d g - e f}} \sqrt {f + g x}} \right )}}{e \sqrt {\frac {e}{d g - e f}}}\right )}{g} - f \left (\frac {2 e n \operatorname {atan}{\left (\frac {1}{\sqrt {\frac {e}{d g - e f}} \sqrt {f + g x}} \right )}}{\sqrt {\frac {e}{d g - e f}} \left (d g - e f\right )} + \frac {\log {\left (c \left (d - \frac {e f}{g} + \frac {e \left (f + g x\right )}{g}\right )^{n} \right )}}{\sqrt {f + g x}}\right ) - \sqrt {f + g x} \log {\left (c \left (d - \frac {e f}{g} + \frac {e \left (f + g x\right )}{g}\right )^{n} \right )}\right )}{g} & \text {for}\: g \neq 0 \\\frac {a x + b \left (- e n \left (- \frac {d \left (\begin {cases} \frac {x}{d} & \text {for}\: e = 0 \\\frac {\log {\left (d + e x \right )}}{e} & \text {otherwise} \end {cases}\right )}{e} + \frac {x}{e}\right ) + x \log {\left (c \left (d + e x\right )^{n} \right )}\right )}{\sqrt {f}} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________